Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

Termination Proofs for Logic Programs

 Автор:
Категория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 1.12 Mb